منابع مشابه
Adrian Miroiu WORLDS WITHIN WORLDS
It is sometimes argued that possible worlds are too rich. Indeed, for every sentence φ and every world w, either φ is true at w, or ¬φ is true at w. Possible worlds leave nothing unsettled: for any question one may ask, there is always an answer, yes or no. My view goes along the opposite side. I take possible worlds to be incredibly poor, and I think that a good deal can be added to them. The ...
متن کاملConstructing Hereditary Worlds Within Worlds
Although they appear unrelated, the type system of the polymorphic λ-calculus with references and the assertions of concurrent separation logic with first-class locks share a critical feature: an unsound contravariant circularity in their naı̈ve semantic model. We developed indirection theory to automatically construct, and cleanly axiomatize, step-indexed approximations to these naı̈ve models, a...
متن کاملGendered Worlds
be a useful addition to anyone’s bookshelf. In the first chapter, sexuality is introduced as more than just the biological act of sex. Instead, the authors describe how sexuality is a fluid concept that has changed over time as humans have evolved both physically and societally. Later chapters describe sex specifics in both male and female bodies, leading to a discussion of sex, gender, and tra...
متن کاملBody Worlds
Body Worlds [4] is an exhibition featuring plastinates, human bodies that have been preserved using a plastination process. First displayed in 1995 in Tokyo, Japan, this collection of anatomical specimens has since been displayed around the world. Although the exhibition debuted in Japan, the idea for the displays began at Heidelberg University in Heidelberg, Germany, where anatomist Gunther vo...
متن کاملPossible Worlds
No formula binds me in this so-called opening address, but it is more usual for the speaker to trace the historical evolution of some part of that, branch of medicine of which he is a devotee. Looking back in recent years, I find that this field has been so often cultivated, albeit by a rotation of crops, that I feel it should lie fallow for a while. I might, in a popular address, recount the c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astrobiology
سال: 2014
ISSN: 1531-1074,1557-8070
DOI: 10.1089/ast.2013.1088